* doc/emacs/emacs.texi (Acknowledgments): Add another contributor.
authorGlenn Morris <rgm@gnu.org>
Tue, 22 May 2012 03:35:14 +0000 (20:35 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 22 May 2012 03:35:14 +0000 (20:35 -0700)
commit2f1832264faffc2d51728ad19c21c2ed8d1c7bc8
treea57cc5b591196c45685c126f613f5972da2e07ce
parent2bebfcec9892c9f08e63bc2fe706ae79e457a5c6
* doc/emacs/emacs.texi (Acknowledgments): Add another contributor.
doc/emacs/ChangeLog
doc/emacs/emacs.texi